TSTP Solutions to: SYO564^7